Software system safety - PDFSEARCH.IO - Document Search Engine

Software system safety
Results: 864

#	Item
181	B Module: Feed Safety Assurance GMP+ B4 Transport Road & rail transport and affreightment Add to Reading List Source URL: www.gmpplus.org Language: English Hazard analysis and critical control points GNU Multiple Precision Arithmetic Library Software Good manufacturing practice Food safety Quality management Quality management system
182	INNOVA Software solutions that empower salmon processors Maximize yield and throughput Conform to quality standards and ensure food safety Add to Reading List Source URL: marel.com Language: English Traceability Logistics Quality management system Technology Barcodes Radio-frequency identification Software engineering
183	End-to-End Public Safety Communications: Next Generation LTE Broadband for State & Local Public Service Networks Contents Add to Reading List Source URL: www.gdc4s.com Language: English - Date: 2015-05-07 14:18:26 Mobile technology Internet Protocol Software-defined radio 3GPP Long Term Evolution Mobile telecommunications 4G LTE Advanced System Architecture Evolution LTE timeline Technology Universal Mobile Telecommunications System Electronic engineering
184	Admin Console ZEMA Admin Console is an entitlement tool that manages access to applications, users, and functionality within the entire ZEMA Suite. Data compliance is made easy with Admin Console, as it allows companies Add to Reading List Source URL: www.ze.com Language: English - Date: 2015-01-30 15:07:52 System software Identity management Computing Computer security Security and safety features new to Windows Vista Active Directory Windows Software
185	Gradual Typing for Functional Languages Jeremy G. Siek Walid Taha University of Colorado Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2011-08-12 16:48:16 Models of computation Type theory Symbol Dynamical system Lambda calculus Type safety Programming Computable Functions Normalisation by evaluation Theoretical computer science Computer science Software engineering
186	Eect Systems with Subtyping Yan Mei Tang Pierre Jouvelot Centre de Recherche en Informatique Ecole Des Mines de Paris E-mail: ftang, Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2008-04-10 10:20:12 Data types Programming language theory Formal methods Object-oriented programming Polymorphism Subtype polymorphism Type system Type safety Lambda calculus Type theory Software engineering Computing
187	Sage: Hybrid Checking for Flexible Specifications Jessica Gronski† Kenneth Knowles† † Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2011-08-12 16:48:39 Type theory Data types Functional languages Object-oriented programming Procedural programming languages Type system Type safety Subtype polymorphism Polymorphism Software engineering Computing Programming language theory
188	Microsoft Word - UMPS Datasheet 2014.docx Add to Reading List Source URL: www.liebsoft.com Language: English - Date: 2014-02-14 09:56:13 Lieberman Software Malware Windows Registry Password Privilege NTFS System administration Security and safety features new to Windows Vista Privileged password management Microsoft Windows System software Software
189	Specifying Crash Safety for Storage Systems Haogang Chen, Daniel Ziegler, Adam Chlipala, M. Frans Kaashoek, Eddie Kohler,† Nickolai Zeldovich MIT CSAIL and † Harvard University 1 Add to Reading List Source URL: people.csail.mit.edu Language: English Disk file systems File system Ext3 Kernel Formal verification Linux kernel KeY XFS Btrfs Computing Software System software
190	RTI Safety-Critical Architecture Assessment Our RTI Professional Services team is made up of the best and the brightest in the area of critical systems development. Building on our Connext solution, we have deployed some Add to Reading List Source URL: www.rti.com Language: English - Date: 2014-11-27 00:45:14 Software development Electronics Systems engineering Embedded systems Middleware DO-178B Real-Time Innovations DO-248B Life-critical system Safety Computing Avionics

UPDATE